Fault Model and Test Synthesis for RISC-Processors
نویسندگان
چکیده
A general fault model on alternative graphs (AG) was developed to cover traditional functional and gate-level fault models for digital systems. The advantage of the new approach is that a uniform fault activating procedures on AG-s are applicable for different types of traditional faults. Also, it is not needed to represent functional faults explicitly by fault lists, the faults can be derived implicitly from the system description given by AGs. A hierarchical AG-based ATPG for a restricted class of digital systems (for RISC-processor type systems) was developed to carry out experiments for showing the adequacy of the AG-based fault model used in this ATPG against the gate-level stuck-at
منابع مشابه
Guide to RISC processors - for programmers and engineers
What do you do to start reading guide to risc processors for programmers and engineers? Searching the book that you love to read first or find an interesting book that will make you want to read? Everybody has difference with their reason of reading a book. Actuary, reading habit must be from earlier. Many people may be love to read, but not a book. It's not fault. Someone will be bored to open...
متن کاملHardware Dependability in the Presence of Soft Errors
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we have a choice of formal tools such as model checkers, equivalence checkers, and a range of theorem provers. Hardware reliability and fault tolerance has been studied for a long time as well, and some good solutions in the...
متن کاملEffective Software-Based Self-Testing for CMOS VLSI Processors
Processor testing approaches based on the execution of self-test programs have been recently proposed as an effective alternative to classic external tester-based testing and pure hardware built-in self-test (BIST) approaches. Software-based self-testing is a non-intrusive testing approach that embeds a “software tester” in the form of a self-test program in the processor on-chip memory. It has...
متن کاملHeterogeneous BISR-approach using System Level Synthesis Flexibility
| We propose a novel methodology for designing fault-tolerant real-time system to achieve optimal productivity on a single-chip multiprocessor platform using the heterogeneous builtin-self-repair(BISR) based graceful degradation and yield enhancement technique as an embedded optimization engine which exploits task-level scheduling and algorithm selection exibility. We also developed a hardware ...
متن کاملDiagnosis in the Presence of Intermittent Faults
Several constant-time parallel algorithms for fault diagnosis have been given for the classical static-fault model. We extend those algorithms to tolerate intermittent faults. 1. Static Fault Diagnosis Imagine a robot surveying a nuclear accident. As it collects data in radioactive hot spots, its processors tend to get fried. Before too many processors fail, the robot retreats to a safe spot in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996